English translation for "automatic theorem proving"
|
- 自动定理证明
Related Translations:
- Example Sentences:
| 1. | A member of the herbrand base is called atom in automatic theorem proving 在自动定理证明中,海尔勃朗基的成员也称为原子。 |
- Similar Words:
- "automatic testing equipment" English translation, "automatic testing machine" English translation, "automatic text" English translation, "automatic text categorization" English translation, "automatic texture analysis system" English translation, "automatic thermal regulator" English translation, "automatic thermal type fire-alarm" English translation, "automatic thermo type fire alarm" English translation, "automatic thermohygrograph" English translation, "automatic thermometic enthalpy titration" English translation
|
|
|